domain relational calculus

un. 域关系演算
[网络] 定义域关联逻辑;域相关微积分程序;域关系计算